Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·11h·
Discuss: DEV
🔍Concolic Testing
The Ternary Manifesto
homepage.cs.uiowa.edu·2h
📝Concrete Syntax
Claude Can (Sometimes) Prove It
galois.com·13h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·9h
⚔️Lean Tactics
MicroBCI – measure EEG with STM32 via NUCLEO-WB55
hackster.io·3h
⚙️DIY Electronics
enjoy-digital/litex
github.com·10h
🖥️Modern Terminals
System Instruction Fixed Point
funcall.blogspot.com·18h·
Discuss: www.blogger.com
⚡Proof Automation
AI hardware reimagined for lower energy use
news.cornell.edu·1d·
Discuss: Hacker News
🔧Hardware Verification
Greyscale-box test-driven development
blog.ploeh.dk·1d
🧪Property-Based Testing
You can't test if quantum uses complex numbers
algassert.com·2d·
Discuss: Hacker News
🔐Quantum Security
Be Engineering Insights: Adventures in Graphics Drivers
haiku-os.org·1d·
Discuss: Hacker News
🖥️Modern Terminals
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·20h
🔀Category Theory
Application of Machine Learning for Correcting Defect-induced Neuromorphic Circuit Inference Errors
arxiv.org·1d
🔧Hardware Verification
Shift left might have failed – but AI looks set to deliver on its promise
techradar.com·6h
⚡Proof Automation
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·3h·
Discuss: Hacker News
🎯Interactive Provers
High-Precision Digital Phase-Locked Loop (DPLL) Design via Adaptive Gradient Descent & Bayesian Optimization
dev.to·21h·
Discuss: DEV
⚡Circuit Design
Building my own ArdSCSIno
leadedsolder.com·1d
🎮Switch Archaeology
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Linkage
11011110.github.io·1d
📐Linear Algebra
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·1d
💻Local LLMs